Papers with generating candidate solutions
PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement (2025.acl-demo)
Copied to clipboard
| Challenge: | Large Language Models (LLMs) are capable of material inference but lack formal rigour and verifiability. |
| Approach: | They propose a framework to unify material and formal inference through an iterative conjecture–criticism process. |
| Outcome: | The proposed framework unifies material and formal inference through an iterative conjecture–criticism process. |